#ifndef __MMNGR_VIRTUAL_H_f57dbdf4eeb6488ba57a26c18f8494d3__
#define __MMNGR_VIRTUAL_H_f57dbdf4eeb6488ba57a26c18f8494d3__

#include "mmngr_virtual_pde.h"
#include "mmngr_virtual_pte.h"

#define PAGE_SIZE 4096

void mmngr_virtual_page_enable(bool b);
bool mmngr_virtual_alloc_page(page_table_entry *entry);
void mmngr_virtual_free_page(page_table_entry *entry);
void mmngr_virtual_initialize();

#endif